281. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
282. Visual hydrology :
Author: Peter A. Mantz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Water-supply engineering-- Computer programs.,Hydrologie.,Hydrologie.,Simulatiemodellen.,Visual Basic.,VisualBASIC für Applikationen.,Water-supply engineering-- Computer programs.
Classification :
TC409
.
M34
2004
283. What every engineer should know about Excel
Author: Holman, J. P. )Jack Philip(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Microsoft Excel )Computer file(,Computer programs ، Engineering
Classification :
TA
345
.
H65
2018
284. What every engineer should know about Excel
Author: Holman, J. P. )Jack Philip(
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs ، Engineering
Classification :
TA
345
.
H65
2018
285. What every engineer should know about Excel
Author: Holman, J. P. (Jack Philip)
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Microsoft Excel (Computer file) ► Engineering- Computer programs
Classification :
005
H747w
286. computer- aided design of language processors
Author: Shangin, V. F.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Translators (Computer programs) ► Computer- aided software engineering ► Programming languages (Electronic Computers)
Classification :
005
S528c
287. dBASE dialects software engineering
Author: / T.David Millican,Millican
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Software engineering,Data base management -- Computer programs
Classification :
QA
76
.
758
.
M55
1991
288. for financial engineers++Introduction to C
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: (Computer program language) ; ++Financial engineering ; Computer programs. ; C
289. services :-technologies, infrastructures, tools, and applications for e-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
290. اتودسک مکا‌نیکا‌ل دسکتا‌پ Autodesk Mechanical Desktop
Author: کما‌لی، یوسف ۱۳۵۸-
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: طراحی به کمک کامپیوتر,esignB aided-Computer,برنامههای کامپیوتری طراحی مهندسی,esignB Engineering -- programs Computer,گرافیک کامپیوتری,raphicsB Computer
Classification :
T
۳۸۵
/
ک
۸۳۸
الف
۱۷
291. آموزش کاربردی نرم افزار Autodesk civil ۳D design برای مهندسان عمران
Author: / مولف محسن بیرنگ برازین,بيرنگ برازين
Library: Central library of Faculty of Agricultural Technology (Aburaihan) (Tehran)
Subject: اتوكد سيويل تري دي AutoCAD Civil 3D,مهندسي عمران - برنامه هاي كامپيوتري Civil engineering - Computer programs,نقشه برداري - برنامه هاي كامپيوتري Surveying - Computer programs,سيستم هاي نمايشگر سه بعدي Three-dimensional display systems
Classification :
TA
۳۴۵
/
۵
/
الف
۲۴
ب
۹۸ ۱۳۹۵
292. آموزش کاربردی نرم افزار Autodesk civil ۳D design برای مهندسان عمران
Author: / مولف محسن بیرنگ برازین,بيرنگ برازين
Library: Central library of Faculty of Agricultural Technology (Aburaihan) (Tehran)
Subject: اتوكد سيويل تري دي AutoCAD Civil 3D,مهندسي عمران - برنامه هاي كامپيوتري Civil engineering - Computer programs,نقشه برداري - برنامه هاي كامپيوتري Surveying - Computer programs,سيستم هاي نمايشگر سه بعدي Three-dimensional display systems
Classification :
TA
۳۴۵
/
۵
/
الف
۲۴
ب
۹۸ ۱۳۹۵
293. آموزش نرمافزار Civil 3D
Author: / مولفان: صادق ناصرعلوی، سلمان علمدارزاده، افشین ایرانمنش
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: اتوکد سیویل تری دی.,AutoCAD Civil 3D,مهندسی عمران -- برنامههای کامپیوتری,Computer programs -- Civil engineering,نقشه‌برداری -- برنامههای کامپیوتری,Computer programs -- Surveying
Classification :
TA
۳۴۵
/
ن
۲
آ
۸ ۱۳۹۵
294. برنامه‌ریزی چند پارامتری: تئوری، الگوریتم‌ها و کاربردها
Author: / تالیف استراشیس پیستیکوپالوس، میخایل جورجیادیس، ویوک دووا,کتاب حاضر ترجمه جلد اول Multi-parametric programing : theory, algorithems and applications است.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: مهندسی سیستم‌ها -- برنامههای کامپیوتری,Computer programs -- Systems engineering,برنامه‌نویسی چند پارادایمی (کامپیوتر),(Multiparadigm programming (Computer science
Classification :
TA
۱۶۸
/
پ
۹
ب
۴ ۱۳۹۵
295. برنامه‌ریزی چند پارامتری: تئوری، الگوریتم‌ها و کاربردها
Author: / تالیف استراشیس پیستیکوپالوس، میخایل جورجیادیس، ویوک دووا، برگردان فرهاد بیات
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: مهندسی سیستم‌ها -- برنامههای کامپیوتری,Computer programs -- Systems engineering,برنامه‌نویسی چند پارادایمی (کامپیوتر),(Multiparadigm programming (Computer science
Classification :
TA
۱۶۸
/
پ
۹
ب
۴
296. تحلیل و طراحی پروژه های کاربردی با برنامه ETABS 2016 [اتبز ۲۰۱۶]
Author: / تالیف قاسم موسوی، مهدی هادی‌زاده‌بزاز
Library: Central Library and Document Center of Arak University (Markazi)
Subject: اتبز (برنامه کامپیوتر),(ETABS (computer program,مهندسی سازه -- برنامههای کامپیوتری,Computer programs -- Structural engineering,تحلیل سازه -- داده‌پردازی,Data processing -- (Structural analysis (Engineering
Classification :
۶۲۴
/
۱۷۰۲۸۵
م
۸۴۲
ت
297. تحلیل و طراحی پروژه‌های کاربردی با برنامه ETABS 2016
Author: / تالیف قاسم موسوی، مهدی هادی‌زاده‌بزاز
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: اتبز (برنامه کامپیوتر),(ETABS (computer program,مهندسی سازه -- برنامههای کامپیوتری,Computer programs -- Structural engineering,تحلیل سازه -- داده‌پردازی,Data processing -- (Structural analysis (Engineering
Classification :
TA
۶۴۷
/
م
۸۴
ت
۳ ۱۳۹۶
298. تحلیل و طراحی پروژه‌های کاربردی با برنامه ETABS ۲۰۱۶
Author: / تالیف قاسم موسوی، مهدی هادی‌زاده بزاز
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: اتبز (برنامه کامپیوتر),(ETABS (computer program,مهندسی سازه -- برنامههای کامپیوتری,Computer programs -- Structural engineering,تحلیل سازه -- داده‌پردازی,Data processing -- (Structural analysis (Engineering
Classification :
TA
۶۴۷
/
م
۸۴
ت
۳ ۱۳۹۶
299. تحلیل و طراحی پیشرفته در نرمافزار ADAMS
Author: / مولفان مصطفی سیاوشی، سارا نخعی.,سیاوشی
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: مهندسی مکانیک,Mechanical engineering,دینامیک,Dynamics,-- نرمافزار,-- Software, -- برنامههای کامپیوتری, -- Computer programs,a02,a02,a01,a01
Classification :
TA
۳۵۲
/
س
۹
ت
۳ ۱۳۹۸
300. تحلیل و طراحی س‍ازه‌ه‍ا]SAP 2000س‍اپ ۲۰۰۰]
Author: / مولفان اش‍رف ح‍ب‍ی‍ب‌ا...، ادوارد ال وی‍ل‍س‍ون,ح‍ب‍ی‍ب‌ال‍ل‍ه,Habibullah
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: سازه، تجزیه و تحلیل,Structural analysis (Engineering), -- برنامههای کامپیوتری, -- Computer programs,a06,a06,س‍اپ -- ۲۰۰۰ (برنامه کامپیوتری)
Classification :
TA
۶۴۷
/
ح
۲
ت
۳ ۱۳۸۰
